PEARL-Coded Function Block Diagrams — From Language Design to Verification
نویسندگان
چکیده
منابع مشابه
From Requirements to Function Block Diagrams: a New Approach for the Design of Industrial Control Applications
The always growing need, for innovative products, forces manufacturing plants to improve their ability to quickly respond to market requirements by designing competitive products and modifying existing ones. However most of the traditional methods, products and tools are far away from the new challenging technologies of Software Engineering. Today’s systems are composed of monolithic applicatio...
متن کاملTrellis Coded Block Codes: Design and Applications
This paper presents a new family of block codes referred to as Trellis Coded Block (TCB) codes, which are built using a trellis code and a linear block code (LBC). The TCB code (TCBC) construction is based on an algebraic structure inherent to many LBCs, which allows one to partition an LBC into sub-sets with a constant distance between every pair of code words in the subset. The proposed unifo...
متن کاملUsing Logic Coverage to Improve Testing Function Block Diagrams
In model-driven development, testers are often focusing on functional model-level testing, enabling verification of design models against their specifications. In addition, in safety-critical software development, testers are required to show that tests cover the structure of the implementation. Testing cost and time savings could be achieved if the process of deriving test cases for logic cove...
متن کاملVerification of Interlockings: from Control Tables to Ladder Logic Diagrams
Dependency relations between objects in a railway yard are tabulated in control tables. An interlocking, which guarantees validity of these dependencies, can be implemented in ladder logic. We transform a ladder logic diagram into a Boolean formula, so that validity of the dependencies in the control tables can be verified using a theorem prover. Time copies and invariants are added to the form...
متن کاملModular Code Generation from Synchronous Block Diagrams
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools such as Simulink and SCADE. Modularity means code is generated for a given composite block independently from context, that is, without knowing in which diagrams this block is going to be used. This can be achieved by abstractin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2015
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2015.08.141